class efp:
    def __init__(self,cle,elt):
        self.cle=cle
        self.elt=elt

    def __lt__(self,other):
        return self.cle<other.cle
